verbal/logical model

[计] 语言/逻辑模型